recurrence relations substitution method